[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

194 194 123 211 204 126 0 244 285

N.S.

1 1.00 0.63 1.09 1.05 0.65 0.00 1.26 1.47

time (sec)

N/A 0.279 0.665 0.874 0.279 2.851 0.000 0.501 5.367

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

197 197 387 294 382 181 0 280 262

N.S.

1 1.00 1.96 1.49 1.94 0.92 0.00 1.42 1.33

time (sec)

N/A 0.280 3.053 0.883 0.301 2.058 0.000 0.520 5.280

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 323 242 285 161 0 246 224

N.S.

1 1.00 2.06 1.54 1.82 1.03 0.00 1.57 1.43

time (sec)

N/A 0.173 2.029 0.780 0.293 3.033 0.000 0.557 5.111

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 363 205 250 151 0 222 231

N.S.

1 1.00 2.47 1.39 1.70 1.03 0.00 1.51 1.57

time (sec)

N/A 0.150 1.974 0.687 0.282 3.057 0.000 0.504 2.654

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 1250 151 177 151 0 219 199

N.S.

1 1.00 8.62 1.04 1.22 1.04 0.00 1.51 1.37

time (sec)

N/A 0.172 6.450 0.688 0.292 3.311 0.000 0.502 2.666

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

162 162 364 153 175 148 0 230 207

N.S.

1 1.00 2.25 0.94 1.08 0.91 0.00 1.42 1.28

time (sec)

N/A 0.272 4.306 0.609 0.292 2.851 0.000 0.488 2.744

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 1014 131 137 138 0 210 189

N.S.

1 1.00 6.50 0.84 0.88 0.88 0.00 1.35 1.21

time (sec)

N/A 0.268 6.196 0.672 0.282 4.697 0.000 0.505 2.717

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

169 169 124 173 171 112 0 213 195

N.S.

1 1.00 0.73 1.02 1.01 0.66 0.00 1.26 1.15

time (sec)

N/A 0.275 0.324 0.655 0.309 3.806 0.000 0.503 2.853

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

161 161 97 197 190 106 0 210 247

N.S.

1 1.00 0.60 1.22 1.18 0.66 0.00 1.30 1.53

time (sec)

N/A 0.218 0.345 0.716 0.279 3.698 0.000 0.477 5.317

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

216 216 123 245 239 126 0 244 285

N.S.

1 1.00 0.57 1.13 1.11 0.58 0.00 1.13 1.32

time (sec)

N/A 0.373 0.494 0.877 0.280 2.028 0.000 0.493 5.382

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

228 228 419 374 462 201 0 314 301

N.S.

1 1.00 1.84 1.64 2.03 0.88 0.00 1.38 1.32

time (sec)

N/A 0.319 5.097 1.002 0.284 2.994 0.000 0.547 5.409

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 387 350 449 181 0 280 262

N.S.

1 1.00 2.06 1.86 2.39 0.96 0.00 1.49 1.39

time (sec)

N/A 0.205 3.670 0.902 0.290 2.889 0.000 0.537 5.320

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

177 177 418 265 308 177 0 257 277

N.S.

1 1.00 2.36 1.50 1.74 1.00 0.00 1.45 1.56

time (sec)

N/A 0.194 3.030 0.728 0.295 3.629 0.000 0.551 2.810

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 379 237 296 171 0 253 246

N.S.

1 1.00 2.09 1.31 1.64 0.94 0.00 1.40 1.36

time (sec)

N/A 0.240 2.394 0.780 0.303 3.272 0.000 0.514 2.791

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

192 192 1420 190 211 170 0 248 252

N.S.

1 1.00 7.40 0.99 1.10 0.89 0.00 1.29 1.31

time (sec)

N/A 0.364 6.488 0.813 0.281 3.190 0.000 0.509 2.848

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 1250 188 211 171 0 248 244

N.S.

1 1.00 6.31 0.95 1.07 0.86 0.00 1.25 1.23

time (sec)

N/A 0.369 6.256 0.836 0.278 3.030 0.000 0.516 2.896

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

200 200 375 197 194 158 0 244 234

N.S.

1 1.00 1.88 0.98 0.97 0.79 0.00 1.22 1.17

time (sec)

N/A 0.384 2.417 0.668 0.293 2.983 0.000 0.507 2.815

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

207 207 147 230 229 138 0 248 202

N.S.

1 1.00 0.71 1.11 1.11 0.67 0.00 1.20 0.98

time (sec)

N/A 0.375 0.444 0.734 0.296 3.324 0.000 0.509 3.311

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

192 192 119 284 273 126 0 244 286

N.S.

1 1.00 0.62 1.48 1.42 0.66 0.00 1.27 1.49

time (sec)

N/A 0.250 0.361 0.812 0.274 4.631 0.000 0.505 5.404

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

254 254 145 322 319 146 0 278 323

N.S.

1 1.00 0.57 1.27 1.26 0.57 0.00 1.09 1.27

time (sec)

N/A 0.480 0.702 1.058 0.288 3.501 0.000 0.521 4.777

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

165 165 792 223 408 189 0 213 184

N.S.

1 1.00 4.80 1.35 2.47 1.15 0.00 1.29 1.12

time (sec)

N/A 0.141 6.372 0.395 0.288 3.878 0.000 0.468 3.628

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

133 133 1090 172 325 172 0 185 150

N.S.

1 1.00 8.20 1.29 2.44 1.29 0.00 1.39 1.13

time (sec)

N/A 0.124 6.607 0.403 0.290 2.976 0.000 0.539 2.988

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 316 135 239 152 0 130 106

N.S.

1 1.00 2.95 1.26 2.23 1.42 0.00 1.21 0.99

time (sec)

N/A 0.116 3.329 0.370 0.293 2.020 0.000 0.447 2.672

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

57 57 227 92 144 109 0 101 72

N.S.

1 1.00 3.98 1.61 2.53 1.91 0.00 1.77 1.26

time (sec)

N/A 0.104 2.047 0.306 0.289 3.405 0.000 0.449 2.605

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 143 75 125 88 0 80 101

N.S.

1 1.00 2.92 1.53 2.55 1.80 0.00 1.63 2.06

time (sec)

N/A 0.074 0.484 0.376 0.505 4.278 0.000 0.465 2.735

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 108 73 117 53 0 74 59

N.S.

1 1.00 2.08 1.40 2.25 1.02 0.00 1.42 1.13

time (sec)

N/A 0.077 0.314 0.598 0.510 4.269 0.000 0.438 2.598

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 159 95 184 77 0 96 83

N.S.

1 1.00 1.66 0.99 1.92 0.80 0.00 1.00 0.86

time (sec)

N/A 0.108 0.384 0.590 0.486 3.098 0.000 0.465 2.607

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 225 123 269 97 0 152 114

N.S.

1 1.00 1.81 0.99 2.17 0.78 0.00 1.23 0.92

time (sec)

N/A 0.121 0.845 0.605 0.514 3.805 0.000 0.452 2.661

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 283 144 351 113 0 180 153

N.S.

1 1.00 1.81 0.92 2.25 0.72 0.00 1.15 0.98

time (sec)

N/A 0.136 0.722 0.585 0.507 3.817 0.000 0.445 2.749

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

172 172 623 210 379 237 0 225 197

N.S.

1 1.00 3.62 1.22 2.20 1.38 0.00 1.31 1.15

time (sec)

N/A 0.228 3.125 0.444 0.281 3.673 0.000 0.479 2.744

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 513 165 288 222 0 171 144

N.S.

1 1.00 3.42 1.10 1.92 1.48 0.00 1.14 0.96

time (sec)

N/A 0.213 2.182 0.391 0.286 3.300 0.000 0.498 2.693

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 280 123 191 167 0 142 111

N.S.

1 1.00 2.83 1.24 1.93 1.69 0.00 1.43 1.12

time (sec)

N/A 0.174 1.652 0.383 0.294 2.939 0.000 0.472 2.696

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 81 377 91 146 128 0 112 77

N.S.

1 1.08 5.03 1.21 1.95 1.71 0.00 1.49 1.03

time (sec)

N/A 0.115 0.888 0.415 0.290 2.771 0.000 0.480 2.624

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 141 74 119 94 0 84 64

N.S.

1 1.00 2.07 1.09 1.75 1.38 0.00 1.24 0.94

time (sec)

N/A 0.086 0.536 0.360 0.515 2.552 0.000 0.442 2.576

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 195 103 165 102 0 114 99

N.S.

1 1.00 2.38 1.26 2.01 1.24 0.00 1.39 1.21

time (sec)

N/A 0.155 0.817 0.517 0.491 2.655 0.000 0.439 2.647

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 281 125 236 134 0 137 134

N.S.

1 1.00 2.05 0.91 1.72 0.98 0.00 1.00 0.98

time (sec)

N/A 0.202 1.219 0.549 0.515 2.071 0.000 0.446 2.662

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 349 154 325 148 0 191 181

N.S.

1 1.00 2.14 0.94 1.99 0.91 0.00 1.17 1.11

time (sec)

N/A 0.221 0.984 0.559 0.500 2.194 0.000 0.455 2.683

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 632 194 330 289 0 207 195

N.S.

1 1.00 3.19 0.98 1.67 1.46 0.00 1.05 0.98

time (sec)

N/A 0.331 2.977 0.430 0.314 2.540 0.000 0.498 2.652

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 457 151 233 222 0 178 150

N.S.

1 1.00 3.15 1.04 1.61 1.53 0.00 1.23 1.03

time (sec)

N/A 0.291 3.156 0.383 0.294 3.301 0.000 0.515 2.637

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 236 105 167 184 0 131 110

N.S.

1 1.00 1.92 0.85 1.36 1.50 0.00 1.07 0.89

time (sec)

N/A 0.227 1.717 0.466 0.299 2.846 0.000 0.479 2.642

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 121 88 134 89 0 89 69

N.S.

1 1.00 1.16 0.85 1.29 0.86 0.00 0.86 0.66

time (sec)

N/A 0.134 0.609 0.376 0.275 2.452 0.000 0.506 2.573

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 227 88 140 138 0 104 117

N.S.

1 1.00 2.14 0.83 1.32 1.30 0.00 0.98 1.10

time (sec)

N/A 0.129 0.924 0.391 0.499 3.768 0.000 0.473 2.816

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 283 131 205 149 0 151 153

N.S.

1 1.00 2.36 1.09 1.71 1.24 0.00 1.26 1.28

time (sec)

N/A 0.247 1.968 0.553 0.494 3.306 0.000 0.498 2.744

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 385 153 276 184 0 174 184

N.S.

1 1.00 2.10 0.84 1.51 1.01 0.00 0.95 1.01

time (sec)

N/A 0.320 1.519 0.648 0.510 2.915 0.000 0.482 2.687

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

216 216 455 182 365 201 0 228 231

N.S.

1 1.00 2.11 0.84 1.69 0.93 0.00 1.06 1.07

time (sec)

N/A 0.336 1.936 0.660 0.514 2.411 0.000 0.506 2.682

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

232 232 746 222 372 354 0 241 256

N.S.

1 1.00 3.22 0.96 1.60 1.53 0.00 1.04 1.10

time (sec)

N/A 0.441 4.532 0.393 0.293 1.634 0.000 0.530 2.643

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 544 178 274 277 0 212 204

N.S.

1 1.00 2.97 0.97 1.50 1.51 0.00 1.16 1.11

time (sec)

N/A 0.400 2.708 0.388 0.287 2.899 0.000 0.508 2.559

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

161 161 283 147 228 235 0 182 156

N.S.

1 1.00 1.76 0.91 1.42 1.46 0.00 1.13 0.97

time (sec)

N/A 0.320 2.275 0.477 0.299 1.882 0.000 0.510 2.567

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

138 138 151 88 175 123 0 117 83

N.S.

1 1.00 1.09 0.64 1.27 0.89 0.00 0.85 0.60

time (sec)

N/A 0.249 0.646 0.501 0.310 1.962 0.000 0.517 2.585

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 171 90 175 124 0 117 88

N.S.

1 1.00 1.20 0.63 1.23 0.87 0.00 0.82 0.62

time (sec)

N/A 0.171 0.751 0.466 0.305 2.205 0.000 0.511 2.557

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 315 130 201 182 0 154 163

N.S.

1 1.00 2.32 0.96 1.48 1.34 0.00 1.13 1.20

time (sec)

N/A 0.184 1.094 0.392 0.492 2.511 0.000 0.506 2.638

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 371 159 246 193 0 184 192

N.S.

1 1.00 2.44 1.05 1.62 1.27 0.00 1.21 1.26

time (sec)

N/A 0.338 1.277 0.620 0.501 2.502 0.000 0.493 2.755

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

215 215 505 181 318 234 0 207 249

N.S.

1 1.00 2.35 0.84 1.48 1.09 0.00 0.96 1.16

time (sec)

N/A 0.423 2.354 0.606 0.497 2.463 0.000 0.495 2.701

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

248 248 575 210 405 252 0 261 198

N.S.

1 1.00 2.32 0.85 1.63 1.02 0.00 1.05 0.80

time (sec)

N/A 0.465 2.770 0.718 0.535 2.225 0.000 0.493 2.691

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 143 151 0 133 0 314 636

N.S.

1 1.00 0.64 0.68 0.00 0.60 0.00 1.41 2.85

time (sec)

N/A 0.338 1.147 9.790 0.000 2.409 0.000 1.093 12.200

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

180 180 122 129 0 116 0 256 535

N.S.

1 1.00 0.68 0.72 0.00 0.64 0.00 1.42 2.97

time (sec)

N/A 0.284 1.063 10.144 0.000 3.056 0.000 1.067 11.227

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 99 107 0 98 0 222 423

N.S.

1 1.00 0.72 0.78 0.00 0.72 0.00 1.62 3.09

time (sec)

N/A 0.252 0.865 10.857 0.000 2.409 0.000 1.036 6.213

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 71 85 0 81 0 168 182

N.S.

1 1.00 0.75 0.89 0.00 0.85 0.00 1.77 1.92

time (sec)

N/A 0.128 1.031 10.330 0.000 2.186 0.000 0.994 6.961

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 96 216 0 294 0 225 -1

N.S.

1 1.00 1.00 2.25 0.00 3.06 0.00 2.34 -0.01

time (sec)

N/A 0.098 0.669 11.043 0.000 1.555 0.000 1.145 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 84 138 792 258 0 362 -1

N.S.

1 1.00 0.89 1.47 8.43 2.74 0.00 3.85 -0.01

time (sec)

N/A 0.131 0.335 22.656 1.002 2.269 0.000 1.703 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 108 376 1207 298 0 446 -1

N.S.

1 1.00 0.98 3.42 10.97 2.71 0.00 4.05 -0.01

time (sec)

N/A 0.164 0.439 20.281 1.063 1.890 0.000 1.688 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 117 569 2713 334 0 889 -1

N.S.

1 1.00 0.76 3.72 17.73 2.18 0.00 5.81 -0.01

time (sec)

N/A 0.239 0.381 20.954 1.259 2.799 0.000 1.792 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B A F(-2) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

196 196 70 751 7699 368 0 1080 -1

N.S.

1 1.00 0.36 3.83 39.28 1.88 0.00 5.51 -0.01

time (sec)

N/A 0.283 0.190 19.958 1.659 2.190 0.000 1.853 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-1) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

225 225 144 152 0 139 0 305 751

N.S.

1 1.00 0.64 0.68 0.00 0.62 0.00 1.36 3.34

time (sec)

N/A 0.436 1.427 10.508 0.000 2.480 0.000 1.387 13.148

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-1) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 121 130 0 120 0 268 621

N.S.

1 1.00 0.70 0.75 0.00 0.69 0.00 1.54 3.57

time (sec)

N/A 0.308 1.313 10.125 0.000 3.777 0.000 1.319 10.679

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

132 132 100 108 0 101 0 214 510

N.S.

1 1.00 0.76 0.82 0.00 0.77 0.00 1.62 3.86

time (sec)

N/A 0.170 1.240 10.116 0.000 2.670 0.000 1.307 6.798

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 122 330 0 346 0 301 -1

N.S.

1 1.00 0.92 2.48 0.00 2.60 0.00 2.26 -0.01

time (sec)

N/A 0.153 1.213 11.403 0.000 1.899 0.000 1.362 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 113 239 804 330 0 374 -1

N.S.

1 1.00 0.83 1.76 5.91 2.43 0.00 2.75 -0.01

time (sec)

N/A 0.192 1.231 21.419 0.802 1.819 0.000 1.346 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) A F(-2) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 109 397 0 318 0 515 -1

N.S.

1 1.00 0.72 2.63 0.00 2.11 0.00 3.41 -0.01

time (sec)

N/A 0.284 0.771 23.373 0.000 2.453 0.000 1.844 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 118 570 0 348 0 897 -1

N.S.

1 1.00 0.76 3.68 0.00 2.25 0.00 5.79 -0.01

time (sec)

N/A 0.302 1.212 22.098 0.000 2.285 0.000 2.047 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

200 200 140 752 0 380 0 1087 -1

N.S.

1 1.00 0.70 3.76 0.00 1.90 0.00 5.44 -0.00

time (sec)

N/A 0.381 1.366 18.599 0.000 2.524 0.000 2.110 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

245 245 159 934 0 420 0 1369 -1

N.S.

1 1.00 0.65 3.81 0.00 1.71 0.00 5.59 -0.00

time (sec)

N/A 0.431 2.139 24.319 0.000 2.051 0.000 2.185 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-1) A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

273 273 169 176 0 171 0 351 1039

N.S.

1 1.00 0.62 0.64 0.00 0.63 0.00 1.29 3.81

time (sec)

N/A 0.588 2.014 12.175 0.000 2.124 0.000 1.436 12.781

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-1) A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

211 211 147 154 0 149 0 314 885

N.S.

1 1.00 0.70 0.73 0.00 0.71 0.00 1.49 4.19

time (sec)

N/A 0.349 1.566 12.257 0.000 2.307 0.000 1.481 15.862

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

169 169 125 132 0 130 0 261 766

N.S.

1 1.00 0.74 0.78 0.00 0.77 0.00 1.54 4.53

time (sec)

N/A 0.207 1.473 11.710 0.000 2.470 0.000 1.588 11.204

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 151 434 0 408 0 355 -1

N.S.

1 1.00 0.89 2.55 0.00 2.40 0.00 2.09 -0.01

time (sec)

N/A 0.208 1.861 12.781 0.000 2.673 0.000 1.575 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

173 173 145 343 1384 398 0 484 -1

N.S.

1 1.00 0.84 1.98 8.00 2.30 0.00 2.80 -0.01

time (sec)

N/A 0.245 1.837 24.894 0.600 3.524 0.000 2.104 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 137 402 0 402 0 554 -1

N.S.

1 1.00 0.73 2.14 0.00 2.14 0.00 2.95 -0.01

time (sec)

N/A 0.389 0.900 24.161 0.000 3.007 0.000 2.024 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

192 192 132 583 0 380 0 967 -1

N.S.

1 1.00 0.69 3.04 0.00 1.98 0.00 5.04 -0.01

time (sec)

N/A 0.424 1.464 24.023 0.000 2.243 0.000 2.125 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

200 200 143 754 0 408 0 1096 -1

N.S.

1 1.00 0.72 3.77 0.00 2.04 0.00 5.48 -0.00

time (sec)

N/A 0.441 1.589 24.150 0.000 2.836 0.000 2.266 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

245 245 160 936 0 448 0 1377 -1

N.S.

1 1.00 0.65 3.82 0.00 1.83 0.00 5.62 -0.00

time (sec)

N/A 0.524 2.484 23.122 0.000 1.936 0.000 2.347 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

290 290 182 1118 0 488 0 1613 -1

N.S.

1 1.00 0.63 3.86 0.00 1.68 0.00 5.56 -0.00

time (sec)

N/A 0.575 2.190 22.332 0.000 2.908 0.000 2.609 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

236 236 474 966 0 445 0 335 -1

N.S.

1 1.00 2.01 4.09 0.00 1.89 0.00 1.42 -0.00

time (sec)

N/A 0.544 6.746 11.579 0.000 3.313 0.000 1.668 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

193 193 173 776 0 412 0 219 -1

N.S.

1 1.00 0.90 4.02 0.00 2.13 0.00 1.13 -0.01

time (sec)

N/A 0.391 6.422 13.066 0.000 2.857 0.000 1.597 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 160 586 0 377 0 243 -1

N.S.

1 1.00 1.05 3.86 0.00 2.48 0.00 1.60 -0.01

time (sec)

N/A 0.275 4.650 12.361 0.000 3.019 0.000 1.557 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 125 385 0 336 0 129 -1

N.S.

1 1.00 1.15 3.53 0.00 3.08 0.00 1.18 -0.01

time (sec)

N/A 0.139 1.607 12.824 0.000 3.378 0.000 1.255 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 126 271 0 427 0 0 -1

N.S.

1 1.00 1.10 2.36 0.00 3.71 0.00 0.00 -0.01

time (sec)

N/A 0.111 1.006 13.101 0.000 5.055 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 113 281 0 437 0 355 -1

N.S.

1 1.00 1.00 2.49 0.00 3.87 0.00 3.14 -0.01

time (sec)

N/A 0.149 0.795 23.895 0.000 4.909 0.000 1.944 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

159 159 11895 695 0 489 0 466 -1

N.S.

1 1.00 74.81 4.37 0.00 3.08 0.00 2.93 -0.01

time (sec)

N/A 0.255 26.807 24.015 0.000 4.408 0.000 1.965 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

200 200 145 1056 0 524 0 816 -1

N.S.

1 1.00 0.72 5.28 0.00 2.62 0.00 4.08 -0.00

time (sec)

N/A 0.369 0.597 23.991 0.000 5.874 0.000 2.051 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

243 243 160 1406 0 558 0 1012 -1

N.S.

1 1.00 0.66 5.79 0.00 2.30 0.00 4.16 -0.00

time (sec)

N/A 0.485 0.797 24.625 0.000 8.392 0.000 2.088 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-1) A F A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

259 259 527 974 0 527 0 362 -1

N.S.

1 1.00 2.03 3.76 0.00 2.03 0.00 1.40 -0.00

time (sec)

N/A 0.565 6.890 13.326 0.000 2.065 0.000 1.510 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 189 784 0 492 0 276 -1

N.S.

1 1.00 0.88 3.66 0.00 2.30 0.00 1.29 -0.00

time (sec)

N/A 0.415 5.115 12.137 0.000 2.838 0.000 1.874 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

169 169 162 594 0 451 0 246 -1

N.S.

1 1.00 0.96 3.51 0.00 2.67 0.00 1.46 -0.01

time (sec)

N/A 0.299 3.782 12.134 0.000 2.939 0.000 1.985 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 127 405 0 374 0 185 -1

N.S.

1 1.00 1.01 3.21 0.00 2.97 0.00 1.47 -0.01

time (sec)

N/A 0.155 1.876 12.325 0.000 2.980 0.000 1.739 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 154 554 0 544 0 0 -1

N.S.

1 1.00 1.23 4.43 0.00 4.35 0.00 0.00 -0.01

time (sec)

N/A 0.126 1.464 12.130 0.000 7.905 0.000 0.000 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 167 561 0 560 0 409 -1

N.S.

1 1.00 1.06 3.55 0.00 3.54 0.00 2.59 -0.01

time (sec)

N/A 0.246 1.658 22.955 0.000 6.274 0.000 1.798 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

217 217 11995 1064 0 631 0 504 -1

N.S.

1 1.00 55.28 4.90 0.00 2.91 0.00 2.32 -0.00

time (sec)

N/A 0.391 26.951 23.779 0.000 9.962 0.000 2.407 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

266 266 204 1414 0 668 0 815 -1

N.S.

1 1.00 0.77 5.32 0.00 2.51 0.00 3.06 -0.00

time (sec)

N/A 0.516 3.024 24.562 0.000 8.830 0.000 2.327 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

259 259 220 976 0 588 0 361 -1

N.S.

1 1.00 0.85 3.77 0.00 2.27 0.00 1.39 -0.00

time (sec)

N/A 0.540 3.611 13.454 0.000 5.639 0.000 1.947 0.000

[next] [prev] [prev-tail] [front] [up]